$\forall$$A$:Realizer. R{-}icompat(Rnone();$A$)